Safety of Compilers and Translation Techniques - Status quo of Technology and Science
نویسندگان
چکیده
The paper investigates the status quo of technology and science for compiler safety methods. We consider specific requirements for compilers and generators for automotive applications and discuss established and newly emerging methods of compiler safety in this context. We put the main focus on compiler verification methods on the one hand and testing technology on the other hand and discuss their applicability in the automotive context.
منابع مشابه
providing a model to promote organizational health in University of Applied Science and Technology
The present study has been done to provide a model to promote organizational health in University of Applied Science and Technology. It is a descriptive survey. Statistical population were 5639 people and 700 people were chosen as a sample by random stratified sampling and they were examined by the researcher-developed questionnaire. To determine content validity of the questionnaire, the revie...
متن کاملبررسی وضعیت موجود علم و فناوری در ایران و جایگاه آن در برنامههای توسعه
Work and capital are considered more pivotal than science and technology in knowledge-based economies. Hence, macro-strategies of science and technology in both national and international levels are thoroughly studied to be schematized, implemented and supervised in the framework of mid-run and long-run projects. The critical point is the realistic yet unbiased realization of the status quo and...
متن کاملComparing the Status of Publishing Scientific Journals in State Universities and Islamic Azad University Units
This descriptive-survey study aims to identify the problems of publishing scientific journals in state universities and Islamic Azad Universities. Statistical population includes all academic journals the data of which is registered in www.Magiran.com. Required information were collected using a questionnaire. Results of this research indicate that the problems of publishing scientific journals...
متن کاملImportance of Listeria monocytogenes in food safety: a review of its prevalence, detection, and antibiotic resistance
Listeria monocytogenes, as a foodborne pathogenic bacterium, is considered as major causative agent responsible for serious diseases in both humans and animals. Milk and dairy products are among the main sources of energy supply in the human, therefore contamination of these products with Listeria spp., especially L. monocytogenes, could lead to life threatening infec...
متن کاملColiforms Contamination and Hygienic Status of Milk Chain in Emerging Economies
Emerging economies have often poor hygiene practices in traditional milk and dairy production all over the world. Therefore, pathogenic bacteria in milk pose major public health concerns especially for those communities who still consume raw milk. Escherichia coli and coliforms are often used as indicator microorganisms, so their presence in food implies poor hygiene and sanitary practices. The...
متن کامل